#ifndef __TIMER3_PWM_H__
#define __TIMER3_PWM_H__

#include <at32f4xx.h>


void timer3_pwm_init(void);


#endif
